Nuprl Definition : w-act
0,22
postcript
pdf
act(
e
) == a(1of(
e
);2of(
e
))
latex
clarification:
w-act(
w
;
e
) == w-a(
w
; 1of(
e
); 2of(
e
))
latex
Definitions
2of(
t
)
,
1of(
t
)
,
a(
i
;
t
)
FDL editor aliases
w-act
origin
